w{-}tagged(${\it tg}$;${\it mss}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$${\it ms}$.mtag(${\it ms}$) = ${\it tg}$;${\it mss}$)